Formal group - PDFSEARCH.IO - Document Search Engine

Formal group
Results: 428

#	Item
31	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
32	Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Knowledge engineering Information science Technical communication Frame language Wireless sensor network Upper ontology Formal ontology
33	Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering ∗ Gabriela Ar´evalo, St´ephane Ducasse and Oscar Nierstrasz Software Composition Group University of Bern, Switzerland www.iam.unibe.ch/∼sc Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Lattice theory Ontology Data mining Formal concept analysis Machine learning Object Process Methodology Metamodeling Conceptual model
34	K(2)-local power operations in Lubin-Tate cohomology Add to Reading List Source URL: www-brs.ub.ruhr-uni-bochum.de Language: English - Date: 2014-06-11 05:39:32 Homotopy theory Algebraic topology Adams spectral sequence Cohomology Homotopy groups of spheres Complex cobordism Steenrod algebra Spectrum LubinTate formal group law Cobordism Elliptic curve Homotopy group
35	Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-08-18 04:53:21 Statements Non-associative algebra Formal methods Group theory Quasigroup Conjecture Mathematical proof Theorem Automated theorem proving Prime number Theory Concept learning
36	Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Knowledge engineering Information science Technical communication Frame language Wireless sensor network Upper ontology Formal ontology
37	Tame characters and ramification of finite flat group schemes Shin Hattori Department of Mathematics, Hokkaido University Kita 10, Nishi 8, Kita-Ku, Sapporo, Hokkaido, , Japan Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2007-05-29 08:07:32 Algebraic number theory Ring theory Algebraic groups Algebraic structures Field theory tale morphism Galois module Flat morphism Formal group Profinite group Valuation Group scheme
38	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field
39	2010 Report from the ISBT Working Party on Rare Donors The Working Party on Rare Donors membership represents 18 countries and all Working Party members are members of ISBT, Attendance at Formal Working Party meetings is Add to Reading List Source URL: isbtweb.org Language: English - Date: 2014-12-29 10:33:54 Transfusion medicine Medicine Hematology Genetics Antigens Blood type Biology ABO blood group system Clinical medicine
40	CIKM WORKSHOP REPORT Report on the Fourth Workshop on Location and the Web (LocWebDirk Ahlers1 , Erik Wilde2 , and Bruno Martins3 1 Add to Reading List Source URL: sigir.org Language: English - Date: 2015-06-16 08:03:24 Formal sciences Data mining Information retrieval Location-based service Information science Knowledge Temporal information retrieval Humancomputer interaction Special Interest Group on Information Retrieval